package archivemanagement;

import java.io.IOException;
import java.util.Collection;
import java.util.UUID;

import metagrammar.Operator;

public interface OperatorArchive {
    
    Operator loadOperator(UUID key) throws IOException;
    
    boolean writeOperator(Operator value) throws IOException;
    
    boolean containsOperator(UUID id) throws IOException;
    
    Collection<Operator> loadAllOperators() throws IOException;
    
}
